Design choices for language-based transactions
نویسندگان
چکیده
This report discusses two design choices which arose in our recent work on introducing a new atomic keyword as an extension to the Java programming language. We discuss the extent to which programs using atomic blocks should be provided with an explicit ‘abort’ operation to roll-back the effects of the current block. We also discuss mechanisms for supporting blocks that perform I/O operations or external database transactions.
منابع مشابه
Conversation Machines for Transaction Processing
We have built a set of integrated AI systems (called conversation machines) to enable transaction processing over the telephone for limited domains like stock trading and banking. The conversation machines integrate the state-ofthe-art technologies from computer telephony, continuous speech recognition, natural language processing and humancomputer interaction. Users can interact with these sys...
متن کاملUTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with complex web applications, transaction design methodologies and tools need to be very flexible allowing for designing web applications from scratch (top-down design), as well as using existing systems or services to compo...
متن کاملEfficient Object-Based Software Transactions
This paper proposes an efficient object-based implementation of non-blocking software transactions. We use ideas from software distributed shared memory to efficiently implement transactions with little overhead for non-transactional code. Rather than emulating a flat transactional memory, our scheme is object-based, which allows compiler optimizations to provide better performance for long-run...
متن کامل.3 Comparisons with Sprite
[32] Sun Microsystems, Inc., Mountain view, Calif. Remote Procedure Call Programming Guide, Feb. 1986. [33] C. P. Thacker, L. C. Stewart, and E. H. Satterthwaite. Firefly: A multiprocessor workstation. IEEE Transactions on Computers, 37(8):909–920, Aug. 1988. [34] USC. Transmission control protocol. Request For Comments 793, USC Information Sciences Institute, Marina del Ray, Calif., Sept. 1981...
متن کاملModel-checking based Verification for Hardware Designs specified using Bluespec System Verilog
Model-checking based techniques are widely employed to the RTL and gate-level models of a hardware design for verification of its desired properties. In case of complex designs, such techniques are associated with the state-explosion problem when many components of a design make transition in parallel. Thus, using such low-level models for the verification of a complex design involves reducing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003